منابع مشابه
A Typed Intermediate Language for Flow-Directed Compilation
We present a typed intermediate language λ for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λ is a typed lambda calculus with product, sum, intersection, and union types as well as function types annotated with flow labels. A novel formulation of intersection and union types supports encoding flow information in the typed pr...
متن کاملThe YAIL: An Intermediate Language for the Native Compilation of Prolog Programs
A major goal for any Prolog implementor is to achieve the best performance for applications. Advanced compilation is essential for high performance. The last few years have seen improvements in Prolog compilation technology resulting in a return to the idea of native code execution. We present work on designing a novel native code compiler for Prolog. The compiler uses an intermediate language ...
متن کاملAn Embedded Language Framework for Hardware Compilation
Various languages have been proposed to describe synchronous hardware at an abstract, yet synthesisable level. We propose a uniform framework within which such languages can be developed, and combined together for simulation, synthesis, and verification. We do this by embedding the languages in Lava — a hardware description language (HDL), itself embedded in the functional programming language ...
متن کاملJIL: an Extensible Intermediate Language
The Java Intermediate Language (JIL) is a subset of XML and SGML described in this document. Its goal is to provide an intermediate representation of Java source code suitable for machine use. JIL benefits from the features of XML, such as extensibility and portability, while providing a common ground for software tools. The following document discusses the design issues and overall framework f...
متن کاملJava as an Intermediate Language
We present our experiences in using Java as an intermediate language for the high level program ming language Nesl First we describe the design and implementation of a system for translating Vcode the current intermediate language used by Nesl into Java Second we evaluate this translation by comparing the performance of the original Vcode implementation with several vari ants of the Java implem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1979
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/22.3.226